41. Declarative systems
Author: / edited by G. David, R. T. Boute, Boute, B. D. Shriver
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
Classification :
QA
76
.
9
.
D5I343
1988
42. Denotational semantics
Author: / by Joseph E. Stoy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
S74
43. Denotational semantics :
Author: David A. Schmidt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
Classification :
QA76
.
7
.
S34
1986
44. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
45. Fairness
Author: Nissim Francez
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F72
1986
46. Fairness
Author: Francez, Nissim.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F7226
1986
47. Fairness
Author: / Nissim Francez
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
Classification :
QA
76
.
6
.
F7226
1986
48. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
49. Formal Syntax and Semantics of Programming Languages
Author: \ Kenneth Slonneger, Barry L. Kurtz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامهنویسی کامپیوتر-- نحو ,زبانهای برنامهنویسی کامپیوتر-- معنیشناسی
Classification :
E-Book
,
50. Formal semantics of Programming languages
Author: Courant Computer Science Symposium, 2d, New York, 0791
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses
Classification :
QA
76
.
7
.
C68
1970
51. Formal syntax and semantics of Java
Author: Jim Alves-Foss )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
1523
52. Formal syntax and semantics of Java
Author: / Jim Alves-Foss (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999
53. Formal syntax and semantics of Java
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
54. Formal syntax and semantics of programming languages :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Syntax. ;
55. Formal syntax and semantics of programming languages
Author: / Kenneth Slonneger, Barry L. Kurtz
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
S59
,
1995
56. Formal syntax and semantics of programming languages : a laboratory based approach
Author: Slonneger, Kenneth.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
7
.
S59
1995
57. Foundations of logic programming
Author: J.W. Lloyd
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming,Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
L583
1987
58. Foundations of logic programming
Author: Lloyd, John Wylie
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
6
.
L583
1984
59. Foundations of logic programming
Author: Lloyd, J. W.)John Wylie(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
6
.
L583
1987
60. Foundations of logic programming
Author: J.W. Lloyd
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
L56
1987
